Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
561	Practical Methods for Minimizing Embedding Impact in Steganography Jessi a Fridri h and Tomá² Filler Department of Ele tri al and Computer Engineering SUNY Binghamton, Binghamton, NY, USA Add to Reading List Source URL: www.ws.binghamton.edu Language: English - Date: 2006-12-19 10:10:08 Category theory Differential topology Embedding General topology Order theory Clifford algebra Topology Mathematics Mathematical analysis
562	Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-11-06 07:52:12 Linear algebra Boolean algebra Electronic design automation Formal methods NP-complete problems Multiset Boolean satisfiability problem Vector space Theorems and definitions in linear algebra Mathematics Algebra Theoretical computer science
563	The Portable Extensible Toolkit for Scientific computing This talk: http://59A2.org/filesACTS.pdf Jed Brown Mathematics and Computer Science Division, Argonne National Laboratory ACTS Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2011-08-17 11:02:00 Numerical analysis Portable Extensible Toolkit for Scientific Computation SLEPc OOFEM FEniCS Project Lis Computer cluster JUGENE Preconditioner Numerical linear algebra Computing Software
564	PHYSICAL REVIEW B 90, Compressed sensing quantum process tomography for superconducting quantum gates Andrey V. Rodionov,1 Andrzej Veitia,1 R. Barends,2 J. Kelly,2 Daniel Sank,2 J. Wenner,2 John M. Martini Add to Reading List Source URL: www.ee.ucr.edu Language: English - Date: 2014-10-10 15:04:57 Quantum information science Linear algebra Information theory Models of computation Quantum mechanics Quantum computer Qubit Quantum gate Compressed sensing Theoretical computer science Algebra Mathematics
565	Journal of Computer-Aided Molecular Design 18: 433–436, 2004. Ó 2004 Kluwer Academic Publishers. Printed in the NetherlandsInteractive essential dynamics Add to Reading List Source URL: users.mccammon.ucsd.edu Language: English - Date: 2008-02-12 02:56:54 Matrix theory Singular value decomposition Multivariate statistics Eigenvalues and eigenvectors Eigendecomposition of a matrix Principal component analysis Matrix Visual Molecular Dynamics Algebra Mathematics Linear algebra
566	Frontiers in Computer Vision Workshop, MIT, August 2011 Relations between academia and industry David Martin Computer Vision at Google Add to Reading List Source URL: www.frontiersincomputervision.com Language: English - Date: 2011-09-12 00:29:03 Numerical linear algebra OpenCV Basic Linear Algebra Subprograms Automatically Tuned Linear Algebra Software Atlas LAPACK Picasa ROS Software Numerical analysis Numerical software
567	, Fall 2012 Cache Lab: Understanding Cache Memories Assigned: Tuesday, October 2, 2012 Due: Thursday, October 11, 11:59PM Last Possible Time to Turn in: Sunday, October 14, 11:59PM Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2014-09-02 16:41:53 Cache CPU cache Central processing unit Computer memory Matrices Transpose Valgrind Trace Matrix Algebra Mathematics Linear algebra
568	Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic Viktor Kuncak1 and Martin Rinard2 1 Ecole Politechnique F´ed´erale de Lausanne, Lausanne, VD, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-12-05 11:59:40 Logic in computer science Model theory Complexity classes Boolean algebra Electronic design automation Boolean satisfiability problem Presburger arithmetic Quantifier elimination Decision problem Theoretical computer science Computational complexity theory Applied mathematics
569	Kernel ridge Regression Max Welling Department of Computer Science University of Toronto 10 King’s College Road Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2005-02-01 18:09:52 Abstract algebra Vectors Eigenvalues and eigenvectors Singular value decomposition Vector space Spectral theory of ordinary differential equations Algebra Mathematics Linear algebra
570	Computer algebra in quantum computing and quantum information theory Special Session at the 21st International Conference on Applications of Computer AlgebraACA2015), July 20-23, 2015, Kalamata, Greece. Add to Reading List Source URL: www.iitis.pl Language: English - Date: 2014-11-26 05:29:41 Quantum mechanics Computational complexity theory Computer algebra Quantum information Quantum information theory Quantum computer Quantum algorithm Symbolic computation Schrödinger equation Applied mathematics Theoretical computer science Physics

UPDATE